Known Vulnerabilities in Trusted Firmware-A 2.4 rc0